Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
71	Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-10-15 15:02:55
72	Coq projects for type theory 2010 Herman Geuvers, James McKinna, Freek Wiedijk December 21, 2010 Here are five projects for the type theory course to choose from. Each student has to choose one of these projects. More th Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-09-02 08:06:23
73	Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting, Add to Reading List Source URL: pauillac.inria.fr - Date: 2015-10-19 04:32:35
74	OIViscoelasticity of fractional type and shape optimization in a theory of rods M11 2014  Add to Reading List Source URL: www.mi.sanu.ac.rs - Date: 2015-01-26 04:17:47
75	CS364B: Exercise Set #3 Due by the beginning of class on Wednesday, January 29, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to the TA (Okke). Please type your solutions if pos Add to Reading List Source URL: theory.stanford.edu - Date: 2014-01-27 22:01:54
76	Type Theory and Coq, January 2012, 10.30–12.30 Before you start, write your name, student number and study at the top of your paper. The final mark is the number of points divided by ten, where the first 10 poi Add to Reading List Source URL: www.cs.ru.nl - Date: 2012-01-17 06:17:39
77	Type Theory 2011 – Parigot’s λµ-calculus Robbert Krebbers November 1, 2011 1 Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-11-01 10:37:39
78	The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich TLCA, Warsaw, 3rd July 2015 Add to Reading List Source URL: rdp15.mimuw.edu.pl - Date: 2015-07-13 06:15:55
79	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
80	Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation Add to Reading List Source URL: www.g-truc.net Language: English - Date: 2015-01-10 12:26:20 Software engineering Computing Computer programming Data types C++ Java Enumerated type Type theory Const Enumeration Scope C++ classes

UPDATE